Partial evaluation for software engineering
نویسندگان
چکیده
منابع مشابه
Integrating Software Performance Evaluation in Software-Engineering
During a case study we encountered some problems, which could be solved manually this time, but pose a grand challenge regarding a generally applicable methodology. The case study was about verification and performance evaluation of a Fault Tolerant Computer (FTC) System to be employed in the International Space Station (ISS). Four different specifications of the FTC had to be developped for di...
متن کاملSoftware Languages Engineering: Experimental Evaluation
iv v Resumo As Linguagens de Domínios Específicos (DSLs) são linguagens que através de Abstract Domain-Specific Languages (DSLs) are programming languages that offer, through appropriate notation and abstraction, still enough an expressive control over a particular problem domain for more restricted use. They are expected to contribute with an enhancement of productivity, reliability, maintaina...
متن کاملChemical Engineering Software and Legal Protection Thereof
In recent years, an increasing number of Chemical Engineering Software (CES), which play an important role in improving efficiency in the petroleum industry, has been introduced to the market. Generally, software is the product of intellectual creativity, but protection of the intellectual property residing in software is the subject of some controversy. This paper explores the ...
متن کاملGeneric Software Component Configuration Via Partial Evaluation
We propose the use of partial evaluation to automatically and systematically configure software components in a predictable way. We base our approach on a declaration language that enables the component developer to describe the genericity and configurability of the application components. This information is checked and used to derive components specialized with respect to a given context.
متن کاملSupporting Usability Evaluation through Software Engineering Tools
1. Introduction Software Engineering has provided the HCI community with tools and techniques for the software design and implementation of interactive systems. Although UIMS's, user interface toolkits, and architectural models improve usability in their own way, they do not explicitly address evaluation. On the other hand, HCI tools, methods, and notations are available but not incorporated in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Computing Surveys
سال: 1998
ISSN: 0360-0300,1557-7341
DOI: 10.1145/289121.289141